Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master (M2): “Proofs of Programs”, Jean-Marie Madiot, 18 HETD, Université Paris Diderot, France.

• Master (M2): “Semantics, languages and algorithms for multi-core programming”, Luc Maranget, 18 HETD, Université Paris Diderot, France.

• Master (M2): “Functional programming and type systems”, François Pottier, 18 HETD, Université Paris Diderot, France.

• Master (M2): “Functional programming and type systems”, Didier Rémy, 18 HETD, Université Paris Diderot, France.

• Licence (L3): Jean-Marie Madiot, “Les principes des langages de programmation”, 40 HETD, École Polytechnique, France.

• Master (M1): Michel Mauny, “Principles of Programming Languages”, 32 HETD, ENSTA-ParisTech, France.

• Open lectures: Xavier Leroy, Programmer = démontrer? La correspondance de Curry-Howard aujourd'hui, 16 HETD, Collège de France, France.

Supervision

• PhD: Vitaly Aksenov, “Synchronization Costs in Parallel Programs and Concurrent Data Structures”, ITMO University of Saint Petersburg (Russia) and Université Paris Diderot, September 26, 2018, advised by Petr Kuznetsov and Anatoly Shalyto [11].

• PhD: Pierrick Couderc, “Vérification des résultats de l'inférence du compilateur OCaml”, Université Paris-Saclay, October 23, 2018, advised by Michel Mauny et Fabrice Le Fessant  [34].

• PhD in progress: Albin Coquereau, “Amélioration de performances pour le solveur SMT Alt-Ergo: conception d'outils d'analyse, optimisations et structures de données efficaces pour OCaml,” Université Paris-Saclay, since October 2015, advised by Michel Mauny, Sylvain Conchon (LRI, Université Paris-Sud) and Fabrice Le Fessant.

• PhD in progress: Armaël Guéneau, “Towards Machine-Checked Time Complexity Analyses”, Université Paris Diderot, since September 2016, advised by Arthur Charguéraud and François Pottier.

• PhD in progress: Glen Mével, “Towards a system for proving the correctness of concurrent Multicore OCaml programs”, Université Paris Diderot, since November 2018, advised by Jacques-Henri Jourdan and François Pottier.

• PhD in progress: Naomi Testard, “Reasoning about Effect Handlers and Cooperative Concurrency”, Université Paris Diderot, since January 2017, advised by François Pottier.

• PhD in progress: Thomas Williams, “Putting Ornaments into practice”, Université Paris Diderot, since September 2014, advised by Didier Rémy.

Juries

Xavier Leroy was a member of the jury for the Habilitation defense of Julien Signoles (Université Paris Sud, July 2018).

Xavier Leroy chaired the jury for the Ph.D. defense of Mario Pereira (Université Paris Sud, December 2018).

François Pottier was a reviewer for Steven Keuchel's PhD thesis (Ghent University), defended on June 5, 2018.

François Pottier was a reviewer for Martin Clochard's PhD thesis (Université Paris-Saclay), defended on March 30, 2018.